リアルタイムシステムのためのCASE⑥ 最近のハトレーのリアルタイムSA手法(1)